Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
371	A Computer-Algebra-Based Formal Proof of the Irrationality of ζ (3) Frédéric Chyzak Joint work with A. Mahboubi, T. Sibut-Pinote, and E. Tassi May 27, 2014 Add to Reading List Source URL: perso.crans.org Language: English - Date: 2014-06-17 06:14:56
372	Applied Geometric Algebras in Computer Science and EngineeringAPPLICATIONS OF GEOMETRIC ALGEBRA AND THE GEOMETRIC PRODUCT TO SOLVE GEOMETRIC PROBLEMS* Ramon González Calvet Institut Pere Calders, campus Universit Add to Reading List Source URL: www.xtec.cat Language: English - Date: 2010-08-21 06:49:36
373	cvec Compact vectors over finite fields Max Neunhöffer Add to Reading List Source URL: www.gap-system.org Language: English - Date: 2016-06-10 09:36:56 Algebra Abstract algebra Mathematics Field theory Computer algebra Polynomials Finite field Field Matrix Vector space Characteristic Prime number
374	Elliptic Periods & Applications R. Lercier DGA & University of Rennes — France email : reynald.lercier(at)m4x.org www : http://perso.univ-rennes1.fr/reynald.lercier/ Add to Reading List Source URL: ecc2011.loria.fr Language: English - Date: 2011-09-30 12:40:03 Mathematics Algebra Polynomials Abstract algebra Computer algebra Group theory Field theory Finite field Factorization of polynomials Irreducible polynomial Elliptic curve Divisor
375	Randomized Algorithms in Linear Algebra and Applications in Data Analysis Petros Drineas Rensselaer Polytechnic Institute Computer Science Department Add to Reading List Source URL: www.drineas.org Language: English - Date: 2012-09-26 17:29:20 Matrix Country codes
376	The LIE Package Carsten and Franziska Sch¨obel The Leipzig University, Computer Science Dept. Augustusplatz 10/11, O-7010 Leipzig, Germany Email: 22 January 1993 Add to Reading List Source URL: www.reduce-algebra.com Language: English - Date: 2008-12-30 11:46:48
377	Truncated Power Series Alan Barnes Dept. of Computer Science and Applied Mathematics Aston University, Aston Triangle, Birmingham B4 7ET GREAT BRITAIN Add to Reading List Source URL: www.reduce-algebra.com Language: English - Date: 2008-12-30 11:48:03
378	1 MINLPLib - A Collection of Test Models for Mixed-Integer Nonlinear Programming Michael R. Bussieck, GAMS Development Corp, 1217 Potomac Street, NW, Washington, D.C, USA Email: Arne Stolbjerg Add to Reading List Source URL: www.gamsworld.org Language: English - Date: 2015-10-13 11:49:16 Mathematical optimization Computer algebra systems Computer file formats Mathematical modeling Numerical software AMPL BARON MPS Linear programming Nl Gams Modeling language
379	Randomized Algorithms in Linear Algebra Petros Drineas Rensselaer Polytechnic Institute Computer Science Department Add to Reading List Source URL: www.drineas.org Language: English - Date: 2012-06-20 16:11:34 Genetics Biology Bioinformatics International HapMap Project Open science Human Genome Diversity Project Country codes
380	GUROBI OPTIMIZER QUICK START GUIDE c 2016, Gurobi Optimization, Inc. Version 6.5, Copyright Add to Reading List Source URL: www.gurobi.com Language: English - Date: 2016-02-29 22:03:33 Software Numerical analysis Mathematical software Mathematical optimization Numerical software Computer algebra systems AMPL Mathematical modeling Gurobi Windows Installer Installation

UPDATE